A compact execution history for dynamic slicing

A slice of a program P with respect to a slicing criterion C ≡ ({var}, c_stmt) is a subset of the program which includes all statements that directly or indirectly affect the value of variable var in c_stmt [1,10–12]. A static slice includes all statements which might affect the value of var. It is constructed using program analysis techniques. A dynamic slice consists of only those statements that actually influence the value of var in an execution of the program. It is built using run-time information. A dynamic slice is more precise than a static slice because it contains only those statements which have actually influenced var in an execution. A dynamic slice of a program is constructed by analyzing an execution history of the program to discover data and control dependences.1 A complete execution history records all actions performed during an execution of a program. A lot of this information is